Key agreement and transport protocol with implicit signatures

ABSTRACT

A key establishment protocol between a pair of correspondents includes the generation by each correspondent of respective signatures. The signatures are derived from information that is private to the correspondent and information that is public. After exchange of signatures, the integrity of exchange messages can be verified by extracting the public information contained in the signature and comparing it with information used to generate the signature. A common session key may then be generated from the public and private information of respective ones of the correspondents.

CROSS REFERENCE TO RELATED APPLICATIONS

This application is a continuation of U.S. Continuation patent application Ser. No. 11/870,901 filed Oct. 11, 2007 which is a continuation of Ser. No. 10/899,303 filed on Jul. 27, 2004 which is a continuation of U.S. Divisional patent application Ser. No. 09/558,256 filed on Apr. 25, 2000, which is a divisional of U.S. patent application Ser. No. 08/966,766 filed on Nov. 7, 1997, which is a continuation of U.S. patent application Ser. No. 08/426,712 filed on Apr. 12, 1995.

FIELD OF THE INVENTION

The present invention relates to key agreement protocols for transfer and authentication of encryption keys.

DESCRIPTION OF THE PRIOR ART

To retain privacy during the exchange of information it is well known to encrypt data using a key. The key must be chosen so that the correspondents are able to encrypt and decrypt messages but such that an interceptor cannot determine the contents of the message.

In a secret key cryptographic protocol, the correspondents share a common key that is secret to them. This requires the key to be agreed upon between the correspondents and for provision to be made to maintain the secrecy of the key and provide for change of the key should the underlying security be compromised.

Public key cryptographic protocols were first proposed in 1976 by Diffie-Hellman and utilized a public key made available to all potential correspondents and a private key known only to the intended recipient. The public and private keys are related such that a message encrypted with the public key of a recipient can be readily decrypted with the private key but the private key cannot be derived from the knowledge of the plaintext, ciphertext and public key.

Key establishment is the process by which two (or more) parties establish a shared secret key, called the session key. The session key is subsequently used to achieve some cryptographic goal, such as privacy. There are

two kinds of key agreement protocol; key transport protocols in which a key is created by one party and securely transmitted to the second party; and key agreement protocols, in which both parties contribute information which jointly establish the shared secret key. The number of message exchanges required between the parties is called the number of passes. A key establishment protocol is said to provide implicit key authentication (or simply key authentication) if one party is assured that no other parry aside from a specially identified second party may learn the value of the session key. The property of implicit key authentication does not necessarily mean that the second party actually possesses the session key. A key establishment protocol is said to provide key confirmation if one parry is assured that a specially identified second party actually has possession of a particular session key. If the authentication is provided to both parties involved in the protocol, then the key authentication is said to be mutual; if provided to only one party, the authentication is said to be unilateral.

There are various prior proposals which claim to provide implicit key authentication.

Examples include the Nyberg-Rueppel one-pass protocol and the Matsumoto Takashima-Imai (MTI) and the Goss and Yacobi two-pass protocols for key agreement.

The prior proposals ensure that transmissions between correspondents to establish a common key are secure and that an interloper cannot retrieve the session key and decrypt the ciphertext. In this way security for sensitive transactions such as transfer of funds is provided.

For example, the MTI/AO key agreement protocol establishes a shared secret K, known to the two correspondents, in the following manner:

-   -   1. During initial, one-time setup, key generation and         publication is undertaken by selecting and publishing an         appropriate system prime p and generator α of the multiplicative         group Z*_(p), that is, αε Z*_(p); in a manner guaranteeing         authenticity. Correspondent A selects as a long-term private key         a random integer “a”, 1≦a≦p−1, and computes a long-term public         key Z_(A)=α^(Z) mod p.     -   Correspondent B generates analogous keys b, z_(B).         Correspondents A and B have access to authenticated copies of         each other's long-term public key.     -   2. The protocol requires the exchange of the following messages:         A→B:α^(x) mod p  (1)         A→B:α^(y) mod p  (2)

where x and y are integers selected by correspondents A and B respectively.

The values of x and y remain secure during such transmissions as it is impractical to determine the exponent even when the value of a and the exponentiation is known provided of course that p is chosen sufficiently large.

-   -   3. To implement the protocol the following steps are performed         each time a shared key is required.     -   (a) A chooses a random integer x, 1≦x≦p−2, and sends B         message (1) i.e. α^(x) mod p.     -   (b) B chooses a random integer y, 1≦y≦p−2, and sends A         message (2) i.e. α^(y) mod p.     -   (c) A computes the key K=(α^(y))^(a)Z_(B) ^(x) mod p     -   (d) B computes the key K=(α^(x))^(b)Z_(A) ^(y) mod p.     -   (e) Both share the key K=α^(bx+ay)

In order to compute the key K, A must use his secret key a and the random integer x, both of which are known only to him. Similarly B must use her secret key a and random integer y to compute the session key K. Provided the secret keys a,b remain uncompromised, an interloper cannot generate a session key identical to the other correspondent. Accordingly, any ciphertext will not be decipherable by both correspondents.

As such this and related protocols have been considered satisfactory for key establishment and resistant to conventional eavesdropping or man-in-the middle attacks.

In some circumstances it may be advantageous for an adversary to mislead one correspondent as to the true identity of the other correspondent.

In such an attack an active adversary or interloper E modifies messages exchanged between A and B, with the result that B believes that he shares a key K with E while A believes that she shares the same key K with B. Even though E does not learn the value of K the misinformation as to the identity of the correspondents 5 may be useful.

A practical scenario where such an attack may be launched successfully is the following. Suppose that B is a bank branch and A is an account holder. Certificates are issued by the bank headquarters and within the certificate is the account information of the holder. Suppose that the protocol for electronic deposit of funds is to exchange a key with a bank branch via a mutually authenticated key agreement. Once B has authenticated the transmitting entity, encrypted funds are deposited to the account number in the certificate. If no further authentication is done in the encrypted deposit message (which might be the case to save bandwidth) then the deposit will be made to E's account.

SUMMARY OF THE INVENTION

It is therefore an object of the present invention to provide a protocol in which the above disadvantages are obviated or mitigated.

According therefore to the present invention there is provided a method of authenticating a pair of correspondents A,B to permit exchange of information therebetween, each of said correspondents having a respective private key a,b and a public key p_(A),p_(B) derived from a generator α and respective ones of said private keys a,b, said method including the steps of:

-   -   i) a first of said correspondents A selecting a first random         integer x and exponentiating a function f(α) including said         generator to a power g(x) to provide a first exponentiated         function f(α)^(g(x));     -   ii) said first correspondent A generating a first signature         S_(A) from said random integer x and said first exponentiated         function f(α)^(g(x));     -   iii) said first correspondent A forwarding to a second         correspondent B a message including said first exponentiated         function f(α)^(g(x)) and the signature s_(A);     -   iv) said correspondent B selecting a second random integer y and         exponentiating a function f′(α) including said generator to a         power g(y) to provide a second exponentiated function         f′(α)^(g(x)) and a signature s_(B) obtained from said second         integer y and said second exponentiated function f′(α)^(g(x));     -   v) said second correspondent B forwarding a message to said         first correspondent A including said second exponentiated         function f′(α)^(g(x)) and said signature s_(B).     -   vi) each of said correspondents verifying the integrity of         messages received by them by computing from said signature and         said exponentiated function in such a received message a value         equivalent to said exponentiated function and comparing said         computed value and said transmitted value;     -   vii) each of said correspondents A and B constructing a session         key K by exponentiating information made public by said other         correspondent with said random integer that is private to         themselves.

Thus although the interloper E can substitute her public key ρ_(E)=α^(ac) in the transmission as par of the message, B will use ρ_(E) rather than ρ_(A) when authenticating the message. Accordingly the computed and transmitted values of the exponential functions still not correspond.

BRIEF DESCRIPTION OF THE DRAWINGS

Embodiments of the invention will now be described by way of example only with reference to the accompanying drawings in which:

FIG. 1 is a schematic representation of a data communication system.

FIG. 2 is a flow chart illustrating the steps of authenticating the correspondents shown in FIG. 1 according to a first protocol.

DETAILED DESCRIPTION OF THE INVENTION

Referring therefore to FIG. 1, a pair of correspondents, 10,12, denoted as correspondent A and correspondent B, exchange information over a communication channel 14. A cryptographic unit 16,18 is interposed between each of the correspondents 10,12 and the channel 14. A key 20 is associated with each of the cryptographic units 16,18 to convert plaintext carried between each unit 16,18 and its respective correspondent 10,12 into ciphertext carried on the channel 14.

In operation, a message generated by correspondent A, 10, is encrypted by the unit 16 with the key 20 and transmitted as ciphertext over channel 4 to the unit 18.

The key 20 operates upon the ciphertext in the unit 18 to generate a plaintext message for the correspondent B, 12. Provided the keys 20 correspond, the message received by the correspondent 12 will be that sent by the correspondent 10.

In order for the system shown in FIG. 1 to operate it is necessary for the keys 20 to be identical and therefore a key agreement protocol is established that allows the transfer of information in a public manner to establish the identical keys. A number of protocols are available for such key generation and are variants of the Diffie-Hellman key exchange. Their purpose is for parties A and B to establish a secret session key K.

The system parameters for these protocols are a prime number p and a generator α² of the multiplicative group Z*_(p). Correspondent A has private key a and public key ρ_(A)=α². Correspondent B has private key b and b public key ρ₃=α^(b). In the protocol exemplified below, text_(A) refers to a string of information that identifies party A. If the other correspondent B possesses an authentic copy of correspondent A's public key, then text_(A) will contain A's public-key certificate, issued by a trusted center; correspondent B can use his authentic copy of the trusted center's public key to verify correspondent A's certificate, hence obtaining an authentic copy of correspondent A's public key.

In each example below it is assumed that, an interloper E wishes to have messages from A identified as having originated from E herself. To accomplish this, E selects a random integer e, 1≦e≦p−2, computes ρ_(E) (ρ_(A))α^(ac) mod p, and gets this certified as her public key. E does not know the exponent ae, although she knows e. By substituting text_(E) for text_(A), the correspondent B will assume that the message originates from E rather than A and use E's public key to generate the session key K. E also intercepts the message from B and uses her secret random integer e to modify its contents. A will then use that information to generate the same session key allowing A to communicate with B.

To avoid interloper E convincing B that he is communicating with E, the following protocol is adapted, as exemplified in FIG. 2.

The purpose of the protocol is for parties A and B to establish a session key K. The protocols exemplified are role-symmetric and non-interactive.

The system parameters for this protocol are a prime number p and a generator α of the multiplicative group Z*_(p). User A has private key a and public key ρ_(A)=α². User B has private key b and public key ρ_(B)=α^(b).

First Protocol

-   -   1. A picks a random integer x, 1≦x≦p−2, and computes a value         r_(A)=α^(X) and a signature s_(A)=x−r_(A)α mod(ρ−1). A sends         {r_(A),s_(A), text_(A)} to B.     -   2. B picks a random integer y, 1≦y≦p−2, and computes a value         r_(B)=α^(y) and a signature s_(B)=y−r_(B)b mod(p−1). B sends         {r_(B), S_(B), text_(B)} to A.     -   3. A computes α^(SB)=(ρ_(B))^(r) _(B) and verifies that this is         equal to r_(B). A computes the session key K=(r_(B))^(x)=α^(xy).     -   4. B computes α^(A) (ρ_(A))^(rA) and verifies that this is equal         to r_(A). B computes the session key K=(r_(A))^(y)=α^(xy).

Should E replace text_(A) with text_(E), B will compute α^(sB)(ρ_(E))^(rA) which will not correspond with the transmitted value of r_(A). B will thus be alerted to the interloper E and will proceed to initiate another session key.

One draw back of the first protocol is that it does not offer perfect forward secrecy. That is, if an adversary learns the long-term private key a of party A, then the adversary can deduce all of A's past session keys. The property of perfect forward secrecy can be achieved by modifying Protocol 1 in the following way.

Modified First Protocol.

In step 1, A also sends α^(x) ¹ to B, where x₁ is a second random integer generated by A. Similarly, in step 2 above, B also sends α^(y) ¹ to A, where y₁ is a random integer. A and B now compute the key K=α^(xy)⊕α^(x) ₁ ^(y) ₁.

Another drawback of the first protocol is that if an adversary learns the private random integer x of A, then the adversary can deduce the long-term private key a of party A from the equation s_(A)=x−r_(A)α{mod p−1}. This drawback is primarily theoretical in nature since a well designed implementation of the protocol will prevent the private integers from being disclosed.

Second Protocol

A second protocol set out below addresses these two drawbacks.

-   -   1. A picks a random integer X, 1≦x≦ρ-2, and computes         (ρ_(B))^(x), α^(x) and a signature s_(A)=x+α(ρ_(B))^(x)         {mod(p−1)}. A sends {α^(x),S_(A),text_(A)} to B.     -   2. B picks a random integer y, 1≦y≦p−2, and computes         (ρ_(A))^(y), x^(y) and a signature s_(B)=Y+_(b)(p_(A))^(y) {mod         (p−1)}. B sends {α^(Y),s_(B),text_(B)} to A.     -   3. A computes (α^(y))^(a) and verifies that α^(S) ^(B)         (ρ_(B))α^(αy)=α^(y). A then computes session key         K=α^(ay)(ρ_(B))^(x)     -   4. B computes (α^(x))^(b) and verifies that

α^(S_(A))(ρ_(A))^(−2^(b_(χ))) = α^(χ). A then computes session key K=α^(b) ^(x) (ρ_(A))^(y).

The second protocol improves upon the first protocol in the sense that if offers perfect forward secrecy. While it is still the case that disclosure of a private random integer x allows an adversary to learn the private key a, this will not be a problem in practice because A can destroy x as soon as he uses it in step 1 of the protocol.

If A does not have an authenticated copy of B's public key then B has to transmit a certified copy of his key to B at the beginning of the protocol. In this case, the second protocol is a three-pass protocol.

The quantity SA, serves as A's signature on the value α^(x). This signature has the novel property that it can only be verified by party B. This idea can be generalized to all ElGamal-like signatures schemes.

A further protocol is available for parties A and B to establish a session key K.

Third Protocol

The system parameters for this protocol are a prime number ρ and a generator α for the multiplicative group Z*_(p). User A has private key a and public key p_(A)=α^(a). User B has private key b and public key ρ_(B)=α^(b).

-   -   1. A picks two random integers x,x₁,1≦x,x₁≦p−2, and computes         y_(x) ₁ =α^(x) ¹ , y_(A)=α^(x) and (r_(A))r_(x) ₁ then computes         a signature s_(A)=r_(x) ₁ (y_(A)) r_(x) ₁ a mod(p−1). A sends         {r_(A),s_(A), α^(x) ¹ , text_(A)} to B.     -   2. B picks two random integers y,y₁, 1≦y,y₁≦p−2, and computes         r_(y) ₁ =α^(y) ¹ r_(B)=α^(y) and (r_(B))r_(y) ₁ , then computes         a signature s_(B)=yr_(y) ₁ −(r_(B))r_(y) ₁ b {mod(p−1)}. B sends         {r_(B),s_(B), α^(y) ¹ ,text_(B)} to A.     -   3. A computes

α^(S_(B))(ρ_(B))(r_(B))^(r_(γ1)) and verifies that this is equal to (r_(B))r_(y) ₁ . A computes session key K=(α^(y) ¹ )^(x) ¹ =α^(x) ¹ ^(y) ¹ .

-   -   4. B computes

α^(S_(A))(P_(A))(r_(A))^(r_(s₁)) and verifies that this is equal to (r_(A))r_(x) ₁ B computes session Key K=(α^(x) ¹ )^(y) ¹ =α^(x) ¹ ^(y) ¹ .

In these protocols, (r_(A),S_(A)) can be thought of as the signature of r_(x) ₁ with the property that only A can sign the message r_(x) ₁ .

Key Transport Protocol

The protocols described above permit the establishment and authentication of a session key K. It is also desirable to establish a protocol in which permits A to transport a session key K to party B. Such a protocol is exemplified below.

-   -   1. A picks a random integer x, 1≦x≦p−2, and computes r_(A)=a^(x)         and a signature s_(A)=x−r_(A)α{mod(p−1)}. A computes session key         K=(ρ_(B))^(x) and sends {r_(A),S_(A),text_(A)} to B.     -   2. B computes α^(S) ^(A) (ρ_(A))^(r) ^(A) and verifies that this         quantity is equal to r_(A). B computes session key         K=(r_(A))^(b).

All one-pass key transport protocols have the following problem of replay. Suppose that a one-pass key transport protocol is used to transmit a session key K from A to B as well as some text encrypted with the session key K. Suppose that E records the transmission from A to B. If E can at a later time gain access to B's decryption machine (but not the internal contents of the machine, such as B's private key), then, by replaying the transmission to the machine, E can recover the original text. (In this scenario, E does not learn the session key K.).

This replay attack can be foiled by usual methods, such as the use of timestamps. There are, however, some practical situations when B has limited computational resources, in which it is more suitable at the beginning of each session, for B to transmit a random bit string k to A. The session key that is used to encrypt the text is then k⊕K, i.e. k XOR'd with K.

All the protocols discussed above have been described in the setting of the multiplicative group Z*_(p). However, they can all be easily modified to work in any finite group in which the discrete logarithm problem appears intractable. Suitable choices include the multiplicative group of a finite field (in particular the elliptic curve defined over a finite field. In each case an appropriate generator α will be used to define the public keys.

The protocols discussed above can also be modified in a straightforward way to handle the situation when each user picks their own system parameters p and a (or analogous parameters if a group other than Z*_(p) is used). 

1. A data communication system comprising a first correspondent A and a second correspondent B, said first correspondent A having a private key a and a corresponding public key p_(A) derived from a generator α and said private key a, and said second correspondent B having a private key b and a corresponding public key p_(B) derived from said generator α and said private key b, said data communication system being configured for authenticating said first correspondent A and said second correspondent B to permit exchange of information therebetween by: i) said first correspondent A selecting a first random integer x and exponentiating a first function ƒ(α), including said generator α, to a power g(x) to provide a first exponentiated function ƒ(α)^(g(x)); ii) said first correspondent A generating a first signature s_(A) from said first random integer x and said first exponentiated function ƒ(α)^(g(x)); iii) said first correspondent A forwarding to said second correspondent B a first message including said first exponentiated function ƒ(α)^(g(x)) and said first signature s_(A); iv) said second correspondent B selecting a second random integer y and exponentiating a second function ƒ′(α), including said generator α, to a power g(y) to provide a second exponentiated function ƒ′(α)^(g(y)), and generating a second signature s_(B) obtained from said second integer y and said second exponentiated function ƒ′(α)^(g(y)); v) said second correspondent B forwarding a second message to said first correspondent A including said second exponentiated function ƒ′(α)^(g(y)) and said second signature s_(B); vi) said first correspondent A verifying the integrity of said second message by computing from said second signature s_(B) and said second exponentiated function ƒ′(α)^(g(y)) in said second message a value equivalent to said second exponentiated function ƒ′(α)^(g(y)), and comparing said value and said second exponentiated function ƒ′(α)^(g(y)) transmitted thereto; vii) said second correspondent B verifying the integrity of said first message by computing from said first signature s_(A) and said first exponentiated function ƒ(α)^(g(x)) in said first message a second value equivalent to said first exponentiated function ƒ(α)^(g(x)), and comparing said second value and said first exponentiated function ƒ(α)^(g(x)) transmitted thereto; and viii) said first correspondent A constructing a session key K by exponentiating information made public by said second correspondent B with said first random integer x, and said second correspondent B constructing said session key K by exponentiation information made public by said first correspondent A with said second random integer y.
 2. A data communication system according to claim 1 wherein said first message includes an identification of the first correspondent A and wherein said second message includes an identification of said second correspondent B.
 3. A data communication system according to claim 1 wherein said first function ƒ(α), including said generator α, is said generator α itself, and wherein said second function ƒ′(α), including said generator α, is said generator α itself.
 4. A data communication system according to claim 1 wherein said first function ƒ(α), including said generator α, includes the public key p_(B) of said second correspondent B, and wherein said second function ƒ′(α), including said generator α, includes the public key p_(A) of said first correspondent A.
 5. A data communication system according to claim 1 wherein said first signature s_(A) combines said first random integer x, said first exponentiated function ƒ(α)^(g(x)), and said private key a of said first correspondent A, and wherein said second signature s_(B) combines said second random integer y, said second exponentiated function ƒ′(α)^(g(y)), and said private key b of said second correspondent B.
 6. A data communication system according to claim 5 wherein said first signature s_(A) is of the form x−r_(A)α, wherein r_(A) is said first exponentiated function ƒ(α)^(g(x)), and wherein said second signature s_(B) is of the form y−r_(B)b, wherein r_(B) is said second exponentiated function ƒ′(α)^(g(y)).
 7. A data communication system according to claim 5 wherein said first signature s_(A) is of the form x+α(p_(B))^(x), and wherein said second signature s_(B) is of the form y+b(p_(A))^(y).
 8. A data communication system according to claim 5 wherein said first signature s_(A) is of the form xr_(x₁) − (r_(A))^(r_(x₁))a, wherein r_(A) is said first exponentiated function ƒ(α)('), x₁ is another random integer selected by said first correspondent A and r_(x) ₁ =α^(x) ¹ ; and wherein said second signature s_(B) is of the form yr_(y₁) − (r_(B))^(r_(y₁))b, wherein y₁ is another random integer selected by said second correspondent B and r_(y) ₁ =α^(y) ¹ .
 9. A data communication system according to claim 5 wherein said first correspondent A selects a third random integer x₁ and forwards a value r_(A) ₁ =α^(x) ¹ to said second correspondent B, and said second correspondent B selects a fourth random integer y₁ and sends another value r_(B) ₁ =α^(y) ¹ to said first correspondent A, and wherein said first correspondent A and said second correspondent B both compute a pair of keys k₁, k₂ equivalent to α^(xy) and α^(x) ¹ ^(y) ¹ respectively, said session key K being generated by XORing k₁ and k₂.
 10. A method of authenticating a first correspondent A and a second correspondent B to permit exchange of information therebetween, said first correspondent A having a private key a and a corresponding public key p_(A) derived from a generator α and said private key a, and said second correspondent B having a private key b and a corresponding public key ρ_(B) derived from said generator α and said private key b; said method comprising the steps of: i) said first correspondent A selecting a first random integer x and exponentiating a first function ƒ(α), including said generator α, to a power g(x) to provide a first exponentiated function ƒ(α)^(g(x)); ii) said first correspondent A generating a first signature s_(A) from said first random integer x and said first exponentiated function ƒ(α)^(g(x)); iii) said first correspondent A forwarding to said second correspondent B a first message including said first exponentiated function ƒ(α)^(g(x)) and said first signature s_(A); iv) said first correspondent A receiving from said second correspondent B a second message including a second exponentiated function ƒ′(α)^(g(y)) and a second signature s_(B), said second exponentiated function ƒ′(a)^(g(y)) having been computed by said second correspondent B using a second random integer y and by exponentiating a second function ƒ′(α), including said generator α, to a power g(y), and said second signature s_(B) having been obtained by said second correspondent B from said second random integer y and said second exponentiated function ƒ′(a)^(g(y)); v) said first correspondent A verifying the integrity of said second message by computing from said second signature s_(B) and said second exponentiated function ƒ′(α)^(g(y)) a value equivalent to said second exponentiated function ƒ′(α)^(g(y)) and comparing said value and said second exponentiated function ƒ′(a)^(g(y)); and vii) said first correspondent A constructing a session key K by exponentiating information made public by said second correspondent B with said first random integer x, said session key K also being constructible by said second correspondent B.
 11. The method of claim 10 wherein said first message includes an identification of said first correspondent A and said second message includes an identification of said second correspondent B.
 12. The method of claim 10 wherein said first function ƒ(α), including said generator α, is said generator α itself.
 13. The method of claim 10 wherein said first function ƒ(α), including said generator α, includes the public key p_(B) of said second correspondent B.
 14. The method of claim 10 wherein said first signature s_(A) is generated by combining said first random integer x, said first exponentiated function ƒ(α)^(g(x)), and the private key a of said first correspondent A.
 15. The method of claim 14 wherein said first signature s_(A) is of a form x−r_(A)α, wherein r_(A) is said first exponentiated function ƒ(α)^(g(x)).
 16. The method of claim 14 wherein said first signature s_(A) is of a form x+α(p_(B))^(x).
 17. The method of claim 14 wherein said first signature s_(A) is of a form xr_(x₁) − (r_(A))^(r_(x₁))a, wherein r_(A) is said first exponentiated function ƒ(α)^(g(x)), x₁ is another random integer selected by said first correspondent A, and r_(x) ₁ =α^(x) ¹ .
 18. The method of claim 14 further comprising the steps of: (a) said first correspondent A selecting a third integer x₁ and forwarding a value r_(A) ₁ =α^(x) ¹ to said second correspondent B; (b) said first correspondent A receiving from said second correspondent B another value r_(B) ₁ =α^(y) ¹ , wherein y₁ is a fourth random integer selected by said second correspondent B; and (c) said first correspondent A computing a pair of keys k₁, k₂ equivalent to α^(xy) and α^(x) ¹ ^(y) ¹ respectively, said session key K being generated by XORing k₁ and k₂.
 19. A device comprising a first correspondent A having a private key a and a corresponding public key ρ_(A) derived from a generator α and said private key a, the device being configured to authenticate said first correspondent A and a second correspondent B to permit exchange of information therebetween by: i) said first correspondent A selecting a first random integer x and exponentiating a first function ƒ(α), including said generator α, to a power g(x) to provide a first exponentiated function ƒ(α)^(g(x)); ii) said first correspondent A generating a first signature s_(A) from said first random integer x and said first exponentiated function ƒ(α)^(g(x)); iii) said first correspondent A forwarding to said second correspondent B a first message including said first exponentiated function ƒ(α)^(g(x)) and said first signature s_(A); iv) said first correspondent A receiving from said second correspondent B a second message including a second exponentiated function ƒ′(α)^(g(y)) and a second signature s_(B), said second exponentiated function ƒ′(α)^(g(y)) having been computed by said second correspondent B using a second random integer y and by exponentiating a second function ƒ′(α), including said generator α, to a power g(y), and said second signature s_(B) having been obtained by said second correspondent B from said second random integer y and said second exponentiated function ƒ′(a)^(g(y)); v) said first correspondent A verifying the integrity of said second message by computing from said second signature s_(B) and said second exponentiated function ƒ′(a)^(g(x)) a value equivalent to said second exponentiated function ƒ′(α)^(g(y)) and comparing said value and said second exponentiated function ƒ′(α)^(g(y)); and vii) said first correspondent A constructing a session key K by exponentiating information made public by said second correspondent B with said first random integer x, said session key K also being constructible by said second correspondent B.
 20. The device of claim 19 wherein said first message includes an identification of said first correspondent A and said second message includes an identification of said second correspondent B.
 21. The device of claim 19 wherein said first function ƒ(α), including said generator α, is said generator α itself.
 22. The device of claim 19 wherein said first function ƒ(α), including said generator α, includes the public key p_(B) of said second correspondent B.
 23. The device of claim 19 wherein said first correspondent A is configured to generate said first signature s_(A) by combining said first random integer x, said first exponentiated function ƒ(α)^(g(x)), and the private key a of said first correspondent A.
 24. The device of claim 23 wherein said first signature s_(A) is of a form x−r_(A)α, wherein r_(A) is said first exponentiated function ƒ(α)^(g(x)).
 25. The device of claim 23 wherein said first signature s_(A) is of a form x+α(p_(B))^(x).
 26. The device of claim 23 wherein said first signature s_(A) is of a form xr_(x₁) − (r_(A))^(r_(x₁))a, wherein r_(A) is said first exponentiated function ƒ(α)^(g(x)), x₁ is another random integer selected by said first correspondent A, and r_(x) ₁ =α^(x) ¹ .
 27. The device of claim 23, wherein the device is further configured to perform the steps of: (a) said first correspondent A selecting a third integer x₁ and forwarding a value r_(A) ₁ =α^(x) ¹ to said second correspondent B; (b) said first correspondent A receiving from said second correspondent B another value r_(B) ₁ =α^(y) ¹ , wherein y₁ is a fourth random integer selected by said second correspondent B; and (c) said first correspondent A computing a pair of keys k₁, k₂ equivalent to α^(xy) and α^(x) ¹ ^(y) ¹ respectively, said session key K being generated by XORing k₁ and k₂. 